Non-classical logic

Results: 703



#Item
221Mind / Reasoning / Non-classical logic / Behavioural sciences / Non-monotonic logic / Belief revision / Assertion / Mental model / Psychology / Science / Ethology / Logic

This article was downloaded by: [Princeton University] On: 21 March 2013, At: 07:43 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37-41 Mor

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2013-03-21 10:46:56
222Health / Mononegavirales / Philosophy of mathematics / Philosophical logic / Rabies / Is-a / Modal logic / Description logic / Classifier / Logic / Science / Non-classical logic

Background Description Logic Systems U S C

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2009-06-12 17:41:43
223Non-classical logic / Logical consequence / Defeasible reasoning / Non-monotonic logic / Default logic / Abductive reasoning / Entailment / First-order logic / Inference / Logic / Reasoning / Logic programming

An Adaptive Logic-based Approach to Abduction in AI∗ (Preliminary Report) Tjerk Gauderis Centre for Logic and Philosophy of Science Ghent University, Belgium

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2011-12-06 10:47:08
224Non-classical logic / Logical consequence / Paraconsistent logic / Natural deduction / Relevance logic / Entailment / Paradoxes of material implication / Material conditional / Modal logic / Logic / Philosophical logic / Propositional calculus

Propositional Logic Extended With A Pedagogically Useful Relevant Implication∗ Diderik Batens Centre for Logic and Philosophy of Science Ghent University, Belgium [removed]

Add to Reading List

Source URL: logica.ugent.be

Language: English - Date: 2013-05-06 17:32:48
225Reasoning / Model theory / Programming paradigms / Deduction / Non-classical logic / Reasoning system / First-order logic / Inference / Interpretation / Logic / Science / Mathematical logic

To Appear in International Journal of Computer Vision 2010: manuscript No. (will be inserted by the editor) Predicate Logic based Image Grammars for Complex Pattern Recognition Vinay Shet† · Maneesh Singh† · Claus

Add to Reading List

Source URL: lmb.informatik.uni-freiburg.de

Language: English - Date: 2012-06-18 23:42:11
226Artificial intelligence / Logic in computer science / Non-classical logic / Anomaly detection / Gvishiani / Fuzzy mathematics / Fuzzy set / Logic / Mathematical logic / Fuzzy logic

RUSSIAN JOURNAL OF EARTH SCIENCES, VOL. 10, ES1001, doi:2007ES000278, 2008 Recognition of anomalies from time series by fuzzy logic methods A. D. Gvishiani,1 S. M. Agayan,1 Sh. R. Bogoutdinov,1 E. M. Graeva,1 J.

Add to Reading List

Source URL: elpub.wdcb.ru

Language: English - Date: 2008-01-27 15:52:44
227Formal languages / Semantics / Non-classical logic / First-order logic / Interpretation / Well-formed formula / Temporal logic / Modal logic / Second-order logic / Logic / Mathematical logic / Model theory

A Case Study in Veri cation Based on Trace Abstractions Nils Klarlund? Mogens Nielsen Kim Sunesen BRICS??

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:48:07
228Artificial intelligence / Philosophical logic / Reasoning / Logical consequence / Prolog / Logic programming / Expert system / Inference / Epistemic modal logic / Logic / Mathematical logic / Non-classical logic

BOOK REVIEW 125 Michael R. Genesereth and Nils J. Nilsson, Logical Foundations of Artificial Intelligence (Morgan Kaufmann, Los Altos, CA, 1987); 406 + xviii pages.

Add to Reading List

Source URL: www.jfsowa.com

Language: English - Date: 2014-11-01 17:39:55
229Game theory / Modal logic / Non-classical logic / Philosophical logic

The optimal prize structure of symmetric Tullock contests∗ Paul Schweinzer Ella Segev

Add to Reading List

Source URL: www.york.ac.uk

Language: English - Date: 2015-03-03 05:46:15
230Mathematical logic / Non-classical logic / Reasoning / Philosophical logic / Logic programming / First-order logic / Knowledge representation and reasoning / SQL / Modal logic / Logic / Programming paradigms / Science

15282 CG812 Kinetic WECF 8p PDS

Add to Reading List

Source URL: www.fidante.com.au

Language: English - Date: 2015-04-17 01:59:59
UPDATE